Simulation research on safety verification of 60Co transportation package
نویسندگان
چکیده
منابع مشابه
Research on Modeling and Simulation for Railway Transportation System
This paper studies the modeling theories and simulation methods for railway transportation system. The railway transportation system is a typical temporal-spatial dynamic system. Recently the method with temporal-spatial computation characteristics, Cellular Automata, is often used for road traffic flow research, but it’s homogeneity restricting make it impossible to modeling railway transporta...
متن کاملResearch on Formal Verification Technique for Aircraft Safety-Critical Software
As an important part of airborne avionics system, aircraft safety critical software (ASCS) plays an essential role to the safety of the aircraft, and to ensure its quality and reliability is one of the key problems we are facing. Formal methods have become important means for modeling and verifying safety critical software. In this paper, formal method is introduced into the ASCS verification f...
متن کاملSimulation Package based on PLACET
The program PLACET is used to simulate transverse and longitudinal beam effects in the main linac, the drive-beam accelerator and the drive-beam decelerators of CLIC, as well as in the linac of CTF3. It provides different models of accelerating and decelerating structures, linear optics and thin multipoles. Several methods of beam-based alignment, including emittance tuning bumps and feedbacks,...
متن کاملReflections on the Economics of Transportation Safety
This is the introductory chapter to the special issue on the economics of transportation safety. It provides some context for the papers that are included in this volume. It does so by explaining the fundamental economics of safety, and by identifying the major trends in the literature. The paper concludes that transportation safety provides a wide variety of interesting topics for investigatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Progress in Nuclear Science and Technology
سال: 2019
ISSN: 2185-4823
DOI: 10.15669/pnst.6.162